Cylindric algebra — The notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first order logic with equality. This is comparable to the role Boolean algebras play for propositional logic. Indeed, cylindric algebras are… … Wikipedia
Many-sorted logic — can reflect formally our intention, not to handle the universe as a homogeneous collection of objects, but to partition it in a way that is similar to types in typeful programming. Both functional and assertive parts of speech in the language of… … Wikipedia
Walter Carnielli — Walter Alexandre Carnielli (born on 11 January in 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher of international recognition, full professor of Logic at the State University of Campinas (UNICAMP). With a… … Wikipedia
Associacao Atletica Francana — Associação Atlética Francana AA Francana Club fondé en 12 oc … Wikipédia en Français
Associação Atlética Francana — Infobox club sportif AA Francana Généralités Fondation … Wikipédia en Français
Villanueva de Arosa — Para otros usos de este término, véase Arosa (desambiguación). Vilanova de Arousa Bandera … Wikipedia Español
Мора (Бежа) — У этого термина существуют и другие значения, см. Мора (значения). Муниципалитет Мора порт. Moura Флаг Герб … Википедия
Sebastião da Gama — Sebastião da Gama, eigentlich Sebastião Artur Cardoso da Cunha Gama (* 10. April 1924 in Vila Nogueira de Azeitão, Distrikt Setúbal, Portugal; † 7. Februar 1952 in Lissabon, Portugal) war ein bedeutender portugiesischer Lyriker und Pädagoge.… … Deutsch Wikipedia
caleira — |câ| s. f. 1. Cano para esgoto das águas do telhado. = AGUEIRO 2. Tronco escavado longitudinalmente para derivação de líquidos. 3. Peça de madeira em forma de telha. • Sinônimo geral: CALEIRO ‣ Etimologia: cale + eira caleira |cà| s. f.… … Dicionário da Língua Portuguesa
saleiro — s. m. 1. Peça em que se serve o sal na mesa. 2. Vasilha em que se guarda o sal. 3. O que vende sal. 4. Fabricante de sal. 5. Galho de veado. • adj. 6. Relativo a sal. • Confrontar: caleiro … Dicionário da Língua Portuguesa